inner product of vector space